employee.h

typedef /*@abstract@*/ struct
{
  char *name;
  int *id;
} *employee;